package test.proxy.sample;

//start extract TimeIntervalImpl1
import java.util.Date;

public class TimeIntervalImpl1 implements TimeInterval {
    
    private final Date start;
    private final Date end;
    
    public TimeIntervalImpl1( Date s, Date e ) {
	start = s;
	end = e;
	assert invariant() : "start>end";
    }
    
    public Date getStart() { return start; }
    
    public Date getEnd() { return end; }
    
    public boolean invariant() { return start.compareTo(end) <= 0; }
}
//stop extract TimeIntervalImpl1
